Ernst-Rüdiger Olderog (* 1955) ist ein deutscher Professor seit 1989 für Theoretische Informatik an der Carl von Ossietzky Universität Oldenburg. Er ist Leiter der Abteilung Entwicklung korrekter Systeme (bis 31. März 2003: Abteilung Semantik), deren Forschungsarbeiten dem Gebiet der Theorie der Programmierung zuzuordnen sind. Ziel dieser Arbe...